formal methods
n. 形式化方法
[网络] 形式方法；正规方法；正规化方法
热门查询
- indwelling adj. 内在的，存在于内心中的 v. 居住于…中；永存（indwell的ing形式）
- Tessa abbr. 免税特别储蓄账户（tax exempt special savings account）
- Qatar n. 卡塔尔
- Burun n. (Burun)人名；(土)布伦
- kidding n. 开玩笑；山羊产羔 v. 开玩笑；欺骗；山羊产羔（kid的ing形式）
- whorehouse n. 青楼；妓院
- holster n. 手枪皮套 n. (Holster)人名；(瑞典)霍尔斯特
- ciggy n. <口>香烟(cigarette的缩略)
- coexistent adj. 同时共存的；同时代的
- powder n. 粉；粉末；[化工][军] 火药；尘土 vt. 使成粉末；撒粉；搽粉于 vi. 搽粉；变成粉末
- chinstrap n. 妇女头巾
- Antwerp n. 安特卫普（港市名称，位于比利时北部）
- georgiade [人名] 乔治亚德
- dismal n. 低落的情绪 adj. 凄凉的，忧郁的；阴沉的，沉闷的
- curiosity n. 好奇，好奇心；珍品，古董，古玩
- majorly 极端地（非正式） 非常地（非正式）
- mccain n. [姓氏]麦剀恩; [人名] 麦凯恩
- procedural adj. 程序上的
- Chernobyl [经] 车诺比
- asynchronous adj. [电] 异步的；不同时的；不同期的
考试词汇表
- to our annoyance
- to our great joy
- to our knowledge
- to pass judgment
- to pass the ball
- to pass the buck
- to pass the time
- to pay attention
- to play for time
- to play hardball
- to play the fool
- to play the game
- to plot a course
- to post a letter
- to provide staff
- to pull the plug
- to put into port
- to put it baldly
- to put it mildly
- to put it simply
